141. The computer user
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C612
142. Using formal description techniques
المؤلف: / edited by Kenneth J. Turner
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
143. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
المؤلف: edited by Kenneth J. Turner
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
144. 16th International Conference on Software Engineering
المؤلف: International Conference on Software Engineering )4991: Sorrento, Italy(
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Electronic digital computers- Programming- Congresses,، Software engineeing- Congresses,، Programming languages )Electronic computers(- Congresses
رده :
QA
76
.
6
I573
